Temporal Monitors for TinyOS
نویسنده
چکیده
Networked embedded systems generally have extremely low visibility of system faults. In this paper, we report on experimenting with online, node-local temporal monitors for networked embedded nodes running the TinyOS operating system and programmed in the nesC language. We instrument the original node software to signal asynchronous atomic events to a local nesC component running a runtime verification algorithm; this checks LTL properties automatically translated into deterministic state-machine monitors and encoded in nesC. We focus on quantifying the added (i) memory and (ii) computational overhead of this embedded checker and identify practical upper bounds with runtime checking on mainstream embedded platforms.
منابع مشابه
Watchdog Designs for TinyOS Motes
We investigate a way to increase the reliability of distributed wireless networks by introducing two watchdog designs on the Mica mote. These watchdogs detect errors through monitoring aspects of the system and then take steps so that the mote recovers from these errors. The first design is a coprocessor watchdog that monitors the functionality of the main processor through heartbeat signals. T...
متن کاملLocation-unaware coverage in wireless sensor networks
In scenarios where sensors are placed randomly, redundant deployment is essential for ensuring adequate field coverage. This redundancy needs to be efficiently exploited by periodically selecting a subset of nodes (referred to as a “cover”) which actively monitors the field, and putting the remaining nodes to sleep. We consider networks in which sensors are not aware of their locations or the r...
متن کاملEscalation: Complex Event Detection in Wireless Sensor Networks
We present a new approach for the detection of complex events in Wireless Sensor Networks. Complex events are sets of data points that correspond to interesting or unusual patterns in the underlying phenomenon that the network monitors. Our approach is inspired from time-series data mining techniques and transforms a stream of realvalued sensor readings into a symbolic representation. Complex e...
متن کاملElectromagnetic Radiofrequency Radiation Emitted from GSM Mobile Phones Decreases the Accuracy of Home Blood Glucose Monitors
Mobile phones are two-way radios that emit electromagnetic radiation in microwave range. As the number of mobile phone users has reached 6 billion, the bioeffects of exposure to mobile phone radiation and mobile phone electromagnetic interference with electronic equipment have received more attention, globally. As self-monitoring of blood glucose can be a beneficial part of diabetes control, ho...
متن کاملTinyOS – An Operating System for Tiny Embedded Networked Sensors
This paper discusses the background and application requirements that motivated the development of TinyOS. It enumerates the characteristics associated with any typical Networked Sensor application. The hardware platform that was used for deploying TinyOS is also described. The design aspects of the Event based TinyOS is discussed in detail. This paper also enlightens the Tiny Active Messaging ...
متن کامل